Precise Formulation (2)